Anil Nerode: шукати на сайті Z-Library

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (39)
Найпопулярніші
Перелік
- Перелік
- Таблиця

应用逻辑

机械工业出版社

Anil Nerode Richard A.Shore

Рік:

2007

Мова:

chinese

Файл:

PDF, 18.31 MB

0 / 0

chinese, 2007

Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Рік:

2018

Мова:

english

Файл:

PDF, 7.00 MB

0 / 0

english, 2018

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 4.32 MB

0 / 0

english, 2013

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 8.83 MB

0 / 0

english, 2016

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 6.28 MB

0 / 0

english, 2007

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993

The MIT Press

Luis Moniz Pereira, Anil Nerode

Рік:

1993

Мова:

english

Файл:

PDF, 21.91 MB

0 / 0

english, 1993

Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 3.17 MB

3.0 / 0

english, 1994

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 7.65 MB

0 / 0

english, 2009

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 4.14 MB

0 / 0

english, 1995

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 8.34 MB

0 / 0

english, 2007

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo

Springer-Verlag

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi

Рік:

1990

Мова:

english

Файл:

DJVU, 1.01 MB

0 / 0

english, 1990

Logic programming and non-monotonic reasoning : proceedings of the second international workshop

The MIT Press

Luís Moniz Pereira, Anil Nerode

Рік:

1993

Мова:

english

Файл:

DJVU, 8.09 MB

0 / 0

english, 1993

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 4.97 MB

0 / 0

english, 1997

Hybrid Systems II

Springer-Verlag Berlin Heidelberg

Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 6.46 MB

0 / 0

english, 1995

Hybrid Systems IV

Springer-Verlag Berlin Heidelberg

Alan B. Arehart, William A. Wolovich (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 26.84 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 4.27 MB

0 / 0

english, 1997

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

PDF, 8.76 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Рік:

1997

Мова:

english

Файл:

PDF, 92.79 MB

0 / 0

english, 1997

Automata Theory and its Applications

Birkhäuser Basel

Bakhadyr Khoussainov, Anil Nerode (auth.)

Рік:

2001

Мова:

english

Файл:

PDF, 8.76 MB

0 / 0

english, 2001

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Рік:

1997

Мова:

english

Файл:

DJVU, 4.65 MB

0 / 0

english, 1997

Logic for Applications

Springer

Anil Nerode, Richard A. Shore

Рік:

1993

Мова:

english

Файл:

PDF, 10.27 MB

5.0 / 5.0

english, 1993

Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Springer International Publishing

Sergei Artemov, Anil Nerode

Рік:

2020

Мова:

english

Файл:

PDF, 6.85 MB

0 / 0

english, 2020

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Springer

Sergei Artemov (editor), Anil Nerode (editor)

Рік:

2021

Мова:

english

Файл:

PDF, 6.51 MB

0 / 0

english, 2021

Logical Foundations of Computer Science, LFCS 2020

Springer

Sergei Artemov, Anil Nerode

Рік:

2020

Мова:

english

Файл:

PDF, 4.19 MB

0 / 0

english, 2020

Logic for Applications

Springer

Anil Nerode, Richard Shore

Рік:

2012

Мова:

english

Файл:

PDF, 92.75 MB

0 / 0

english, 2012

Combinatorial Functors

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.)

Рік:

1974

Мова:

english

Файл:

PDF, 4.27 MB

0 / 0

english, 1974

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 6.01 MB

0 / 0

english, 2009

Hybrid Systems V

Springer-Verlag Berlin Heidelberg

Haoxun Chen, Hans-Michael Hanisch (auth.), Panos Antsaklis, Michael Lemmon, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)

Рік:

1999

Мова:

english

Файл:

PDF, 5.00 MB

0 / 0

english, 1999

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 3.07 MB

0 / 0

english, 1997

Hybrid Systems

Springer-Verlag Berlin Heidelberg

R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (eds.)

Рік:

1993

Мова:

english

Файл:

DJVU, 3.24 MB

0 / 0

english, 1993

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Рік:

1992

Мова:

english

Файл:

PDF, 8.42 MB

0 / 0

english, 1992

Logical Foundations of Computer Science — Tver '92: Second International Symposium Tver, Russia, July 20–24, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode, Mikhail Taitslin (eds.)

Рік:

1992

Мова:

english

Файл:

DJVU, 4.90 MB

0 / 0

english, 1992

Hybrid Systems

Springer-Verlag Berlin Heidelberg

Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Рік:

1993

Мова:

english

Файл:

PDF, 23.58 MB

0 / 0

english, 1993

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Рік:

1995

Мова:

english

Файл:

PDF, 6.63 MB

0 / 0

english, 1995

Logic Colloquium: Symposium on Logic Held at Boston, 1972–73

Springer-Verlag Berlin Heidelberg

J. N. Crossley, Anil Nerode (auth.), Prof. Dr. Rohit Parikh (eds.)

Рік:

1975

Мова:

english

Файл:

PDF, 12.48 MB

0 / 0

english, 1975

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Рік:

2023

Мова:

english

Файл:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer

Anil Nerode, Noam Greenberg

Рік:

2023

Мова:

english

Файл:

PDF, 8.52 MB

0 / 5.0

english, 2023

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

Springer Nature

Anil Nerode, Noam Greenberg

Рік:

2023

Мова:

english

Файл:

EPUB, 19.57 MB

0 / 0

english, 2023

Automata Theory and its Applications

Birkhäuser

Khoussainov, Bakhadyr, Nerode, Anil

Рік:

2001

Мова:

english

Файл:

PDF, 33.73 MB

0 / 0

english, 2001